机译:无上下文的语言,组,端点理论,二阶逻辑,平铺问题,元胞自动机和向量加法系统
机译:基于矢量和的模糊逻辑控制系统设计及其在赛格威型移动机器人中的应用
机译:关系双表格决策程序及其在模态和直觉逻辑中的应用
机译:向量加法系统的关系跟踪逻辑及其在上下文无关性中的应用
机译:类多数逻辑矢量符号码的纠错性能分析及其在分集组合系统中的应用。
机译:基于HSV-1的神经疾病和脑肿瘤基因治疗载体:第二部分。向量系统及其应用
机译:向量加法系统的关系跟踪逻辑及其在上下文无关性中的应用
机译:petri网和向量加法系统的可达性问题与活跃度问题的递推等价性,